COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	Ideas for introduction to LISP text.
C00004 ENDMK
C⊗;
Ideas for introduction to LISP text.

	This book is concerned with computing with symbolic expressions
in the same sense that textbooks of numerical analysis and Fortran
manuals are concerned with computing with numbers.  

	This book is concerned with techniques for computing with 
symbolic expressions.  This field is in a much less developed
state than the corresponding field of numerical computation.  The 
most developed kind of symbolic computation is compiling, the translation
of computer programs from a source language into the language
of the computer, but other significant sysmbolic computations
have been done including the following:

	1. Operations on algebraic expressions - differentiation,
integration, matrix computation, reduction to canonical form,
and simplification.

	2. Operations with logical expressions - simplification,
theorem proving.

	3. Tree searches.